\select@language {english}
\contentsline {chapter}{List of Figures}{}
\contentsline {chapter}{List of Tables}{}
\contentsline {chapter}{\numberline {1}State of the Art}{8}
\contentsline {section}{\numberline {1.1}Web Service Based Non-Functional Requirements}{10}
\contentsline {subsection}{\numberline {1.1.1}Source Selection}{10}
\contentsline {subsection}{\numberline {1.1.2}Source Analysis}{13}
\contentsline {subsection}{\numberline {1.1.3}Results: A Non-Functional Requirements Model for Reliable Web Services Development}{18}
\contentsline {subsection}{\numberline {1.1.4}Web Service Based Non-Functional Requirements: Proposed Concepts}{22}
\contentsline {subsection}{\numberline {1.1.5}Conclusions}{28}
\contentsline {section}{\numberline {1.2}Web Service Based Methodologies}{29}
\contentsline {subsection}{\numberline {1.2.1}SOD-M \cite {CastroMV11}}{30}
\contentsline {section}{\numberline {1.3}Conclusions}{30}
\contentsline {chapter}{\numberline {2}$\pi $SOD-M: A Methodology for Building Reliable Service Based Applications}{32}
\contentsline {section}{\numberline {2.1}$\pi $SOD-M}{33}
\contentsline {subsection}{\numberline {2.1.1}Development Process}{34}
\contentsline {subsection}{\numberline {2.1.2}Methodology Concepts}{36}
\contentsline {subsection}{\numberline {2.1.3}Case Study}{41}
\contentsline {section}{\numberline {2.2}Platform Independent Models}{43}
\contentsline {subsection}{\numberline {2.2.1}\textit {$\pi $-UseCase} Model}{44}
\contentsline {subsection}{\numberline {2.2.2}\textit {$\pi $-ServiceProcess} Model}{50}
\contentsline {subsection}{\numberline {2.2.3}$\pi $-ServiceComposition Model}{56}
\contentsline {section}{\numberline {2.3}$\pi $-PEWS Platform Specific Models}{61}
\contentsline {section}{\numberline {2.4}Models Transformation}{63}
\contentsline {subsection}{\numberline {2.4.1}From $\pi $-UseCase to $\pi $-ServiceProcess}{65}
\contentsline {subsection}{\numberline {2.4.2}From $\pi $-ServiceProcess to $\pi $-ServiceComposition}{69}
\contentsline {subsection}{\numberline {2.4.3}From $\pi $-ServiceComposition to $\pi $-PEWS}{72}
\contentsline {section}{\numberline {2.5}Conclusions}{73}
\contentsline {chapter}{\numberline {3}\textit {$\pi $SOD-M} Environment}{75}
\contentsline {section}{\numberline {3.1}General Architecture}{76}
\contentsline {section}{\numberline {3.2}Defining Reliable Service Based Applications}{78}
\contentsline {subsection}{\numberline {3.2.1}$\pi $-UseCase Model}{78}
\contentsline {subsection}{\numberline {3.2.2}$\pi $-ServiceProcess Models}{80}
\contentsline {subsection}{\numberline {3.2.3}$\pi $-ServiceComposition Models}{83}
\contentsline {subsection}{\numberline {3.2.4}$\pi $-PEWS Models}{84}
\contentsline {section}{\numberline {3.3}Model Transformation Process}{85}
\contentsline {section}{\numberline {3.4}Extending the Environment Components}{88}
\contentsline {section}{\numberline {3.5}Conclusion}{90}
\contentsline {chapter}{\numberline {4}$\pi $SOD-M Validation}{91}
\contentsline {section}{\numberline {4.1}Validation Strategy}{91}
\contentsline {section}{\numberline {4.2}$\pi $SOD-M in Practice}{92}
\contentsline {subsection}{\numberline {4.2.1}Crimes' Map}{92}
\contentsline {subsubsection}{\numberline {4.2.1.1}$\pi $-UseCase Model}{93}
\contentsline {subsubsection}{\numberline {4.2.1.2}$\pi $-ServiceProcess Model}{96}
\contentsline {subsubsection}{\numberline {4.2.1.3}$\pi $-ServiceComposition Model}{99}
\contentsline {subsection}{\numberline {4.2.2}To Publish Music}{103}
\contentsline {subsubsection}{\numberline {4.2.2.1}$\pi $-UseCase Model}{104}
\contentsline {subsubsection}{\numberline {4.2.2.2}$\pi $-ServiceProcess Model}{107}
\contentsline {subsubsection}{\numberline {4.2.2.3}$\pi $-ServiceComposition Model}{108}
\contentsline {section}{\numberline {4.3}Conclusions}{109}
\contentsline {chapter}{References}{111}
\contentsline {chapter}{Appendix{} A{} -$\tmspace -\thinmuskip {.1667em}$-{} \textit {$\pi $-PEWS} Language}{115}
